#ifndef KC_HOWMANYCOND_H__KC
#define KC_HOWMANYCOND_H__KC

#include "Symbol.h"
#include "Operator.h"

namespace kc_sf
{
	class HowManyCond : public Logic::Symbol
	{
		public:

			int hmHowMany;
			Operator hmOperator;

			HowManyCond();

			virtual Logic::Symbol *clone() const = 0;

			bool eval( const Message &msg ) = 0;
			bool evalHowMany( int how_many ) const;
	};
}

#endif /* KC_HOWMANYCOND_H__KC */
